Prove 1 tan²Q = sec²Q